TAGs: Inequality notation